- formalisation
-
formalisation [ fɔrmalizasjɔ̃ ] n. f.• 1945; de formaliser, probablt d'apr. l'angl. formalization♦ Didact. Réduction aux structures formelles. La formalisation de la logique. ⇒ axiomatisation. Formalisation en linguistique.
● formalisation nom féminin Action de formaliser. Action de réduire un système de connaissances à des structures formelles.formalisationn. f. Didac. Opération qui consiste à formaliser, à mettre sous forme de signes logiques ou mathématiques rigoureusement définis (une axiomatique, un énoncé, etc.).⇒FORMALISATION, subst. fém.[Correspond à formaliser2] Action de formaliser; résultat de cette action. L'attitude du savant se conforme, pour la conceptualisation et la formalisation, à la réorientation de l'expérience économique des sociétés globales (Univers écon. et soc., 1960, p. 6-4). Les analyses de la concurrence pure et parfaite sont un excellent exemple de la formalisation théorique du capitalisme des petites unités (PERROUX, Écon. XXe s., 1964, p. 98) :• 1. ... que la formalisation soit toujours rétrospective, cela prouve qu'elle n'est jamais complète qu'en apparence et que la pensée formelle vit de la pensée intuitive.MERLEAU-PONTY, Phénoménol. perception, 1945, p. 441.— LOG., LING. et MATH. [On ne peut] dissocier l'histoire de la théorie des ensembles et de la formalisation des mathématiques de celle de la « logique mathématique » (BOURBAKI, Hist. math., 1960 p. 9). V. axiomatique ex. 3 et 6, axiomatisation ex. 2 :• 2. Par sa formalisation poussée, la logique propositionnelle qu'elle aborde, l'étude des fonctions sémantiques et syntaxiques des signes, etc., elle [la logique médiévale] annonce certains développements récents de la logistique.A. VIRIEUX-REYMOND, La Log. formelle, Paris, P.U.F., 1965, p. 37.Prononc. :[
]. Étymol. et Hist. 1945 (MERLEAU-PONTY, loc. cit.). Dér. de formaliser2; suff. -(a)tion. Fréq. abs. littér. :13.formalisation [fɔʀmalizɑsjɔ̃] n. f.ÉTYM. XXe (av. 1944, Cavaillès); de 2. formaliser, probablt d'après l'angl. formalization (attesté 1682 en philos., 1875 en logique).❖♦ Didact. Réduction aux structures formelles. ⇒ Axiomatisation. || La formalisation de la logique, des mathématiques. || La formalisation d'un modèle en sciences humaines.♦ Par ext. || La formalisation des sciences humaines. ⇒ Mathématisation.❖DÉR. Formalisateur.
Encyclopédie Universelle. 2012.
